Northeastern University - PDFSEARCH.IO - Document Search Engine

Northeastern University
Results: 1569

#	Item
361	The Call-by-need Lambda Calculus, Revisited Stephen Chang and Matthias Felleisen College of Computer Science Northeastern University Boston, Massachusetts, USA { stchang \| matthias } @ ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-08-23 01:51:44 Theoretical computer science Lambda calculus Computability theory Evaluation strategy Calculus Free variables and bound variables Function Parameter Algorithm Mathematics Mathematical logic Applied mathematics
362	Determination of Neutron Irradiation damage to COPS CCDs. (PRELIMINARY) J. Moromisato, E. von Goeler, S. Reucroft, R. Terry,and A. Odom Northeastern University, Boston 1. Introduction Add to Reading List Source URL: home.fnal.gov Language: English - Date: 2000-11-03 11:39:32 Electronic engineering Radiobiology Radioactivity Radiation Charge-coupled device Ionizing radiation Neutron radiation Neutron flux Neutron Physics Integrated circuits Electronics
363	Chaperones and Impersonators: Run-time Support for Reasonable Interposition T. Stephen Strickland Sam Tobin-Hochstadt Northeastern University {sstrickl,samth}@ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-05-11 21:04:51 Object-oriented programming Vectors Linear algebra Abstract algebra Proteins Immutable object Chaperone ALGOL 68 Racket Algebra Computing Software engineering
364	Carl Eastlund Northeastern University College of Computer and Information Science West Village H 330 Boston, MA 02115 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-03-30 13:34:33 Functional languages Year of birth missing Automated theorem proving ACL2 Lisp programming language Formal methods Matthias Felleisen Racket Theorem prover Software engineering Computing Computer programming
365	Meet Generation Z NORTHEASTERN UNIVERSITY 4th Innovation Imperative Series Poll November 18, 2014 Add to Reading List Source URL: www.kidsenjongeren.nl Language: English - Date: 2015-01-09 07:16:11 Demographics Generation Education
366	Academic and Service Buildings Add to Reading List Source URL: www.northeastern.edu Language: English - Date: 2015-03-13 15:24:28 Ohio Huntington Columbus Ohio Geography of the United States Northeastern University Huntington Avenue
367	A Functional I/O System ∗ or, Fun for Freshman Kids Matthias Felleisen Northeastern University Robert Bruce Findler Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2009-06-23 23:54:16 Unidentified flying object Ulsan National Institute of Science and Technology UFO JavaScript Computing Television Forteana Mysteries
368	Acknowledgments We gratefully acknowledge the generous support of Brian Wenzinger, an alumnus of Northeastern University’s College of Computer and Information Science. The College’s dean, Larry Finkelstein, and his s Add to Reading List Source URL: realmofracket.com Language: English - Date: 2015-05-25 16:56:18 Racket Thank You Thanks Software Computing Computer programming
369	Evaluating Call-by-need on the Control Stack Stephen Chang, David Van Horn, Matthias Felleisen Northeastern University 1 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-08-23 01:51:44 Computer science Computability theory Lambda calculus Theoretical computer science Call stack Stack Futures and promises Eval Computing Software engineering Models of computation
370	Greene Central High School Course Curriculum Guide Add to Reading List Source URL: gchs.gcsedu.org Language: English - Date: 2015-03-19 14:48:41 Pedagogy Learning Cooperative education Northeastern University Service-learning Skill Apprenticeship Educational Theory of Apprenticeship Education Alternative education Internships

UPDATE